[INFO] fetching crate minisat 0.4.4...
[INFO] fixing minisat-0.4.4 against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=end=2015,2024 for pr-157817-2
[INFO] extracting crate minisat 0.4.4 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate minisat 0.4.4
[INFO] finished tweaking crates.io crate minisat 0.4.4
[INFO] tweaked toml for crates.io crate minisat 0.4.4 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate minisat 0.4.4 on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 54 packages to latest compatible versions
[INFO] [stderr]       Adding bindgen v0.42.3 (available: v0.72.1)
[INFO] [stderr]       Adding itertools v0.8.2 (available: v0.15.0)
[INFO] [stderr]       Adding proc-macro2 v0.3.5 (available: v0.3.8)
[INFO] [stderr]       Adding quickcheck v0.7.2 (available: v1.1.0)
[INFO] [stderr]       Adding sudoku v0.7.0 (available: v0.8.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: `minisat` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 156bdc556a175797c50a5d6a7e81c28ccdfde5b4db39ba3e11e833e899ceb0dd
[INFO] running `Command { std: "docker" "start" "156bdc556a175797c50a5d6a7e81c28ccdfde5b4db39ba3e11e833e899ceb0dd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "156bdc556a175797c50a5d6a7e81c28ccdfde5b4db39ba3e11e833e899ceb0dd" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "156bdc556a175797c50a5d6a7e81c28ccdfde5b4db39ba3e11e833e899ceb0dd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "156bdc556a175797c50a5d6a7e81c28ccdfde5b4db39ba3e11e833e899ceb0dd" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=end=2015,2024", kill_on_drop: false }`
[INFO] [stderr] crater-edition-check: migrating to next edition
[INFO] [stderr]    Migrating Cargo.toml from 2015 edition to 2018
[INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: `minisat` (manifest) generated 1 warning
[INFO] [stderr]    Compiling memchr v2.8.2
[INFO] [stderr]    Compiling glob v0.2.11
[INFO] [stderr]    Compiling version_check v0.1.5
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling libloading v0.5.2
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling humantime v1.3.0
[INFO] [stderr]    Compiling proc-macro2 v0.3.5
[INFO] [stderr]    Compiling nom v4.2.3
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling log v0.4.33
[INFO] [stderr]    Compiling clang-sys v0.26.4
[INFO] [stderr]    Compiling bindgen v0.42.3
[INFO] [stderr]     Checking rand_core v0.4.2
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]     Checking rand_core v0.3.1
[INFO] [stderr]    Compiling quote v0.5.2
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling which v1.0.5
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]     Checking rand v0.5.6
[INFO] [stderr]     Checking either v1.16.0
[INFO] [stderr]     Checking itertools v0.8.2
[INFO] [stderr]    Compiling cexpr v0.3.6
[INFO] [stderr]     Checking rand_core v0.2.2
[INFO] [stderr]     Checking sudoku v0.7.0
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking regex v1.12.4
[INFO] [stderr]     Checking env_logger v0.5.13
[INFO] [stderr]     Checking quickcheck v0.7.2
[INFO] [stderr]    Compiling minisat v0.4.4 (/opt/rustwide/workdir)
[INFO] [stderr]    Migrating build.rs from 2015 edition to 2018
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/Solver.cc:128:19:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Sort.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/simp/SimpSolver.cc:21:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/simp/SimpSolver.cc:86:26:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr]    Migrating src/lib.rs from 2015 edition to 2018
[INFO] [stderr]        Fixed src/lib.rs (4 fixes)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 40.76s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: cexpr v0.3.6, nom v4.2.3
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] [stderr] crater-edition-check: minisat v0.4.4 (/opt/rustwide/workdir) updating edition from 2015 to 2018
[INFO] [stderr]    Compiling minisat v0.4.4 (/opt/rustwide/workdir)
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/Solver.cc:128:19:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Sort.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/simp/SimpSolver.cc:21:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/simp/SimpSolver.cc:86:26:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]   --> src/binary.rs:72:10
[INFO] [stdout]    |
[INFO] [stdout] 72 |         };
[INFO] [stdout]    |          ^ help: remove this semicolon
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]   --> src/binary.rs:72:10
[INFO] [stdout]    |
[INFO] [stdout] 72 |         };
[INFO] [stdout]    |          ^ help: remove this semicolon
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/lib.rs:763:10
[INFO] [stdout]     |
[INFO] [stdout] 763 |         };
[INFO] [stdout]     |          ^ help: remove this semicolon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 45.74s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: cexpr v0.3.6, nom v4.2.3
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] [stderr] crater-edition-check: migrating to next edition
[INFO] [stderr]    Migrating Cargo.toml from 2015 edition to 2018
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/Solver.cc:128:19:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Sort.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/simp/SimpSolver.cc:21:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/simp/SimpSolver.cc:86:26:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr]     Checking minisat v0.4.4 (/opt/rustwide/workdir)
[INFO] [stderr]    Migrating src/lib.rs from 2018 edition to 2021
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 46.68s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: cexpr v0.3.6, nom v4.2.3
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] [stderr] crater-edition-check: minisat v0.4.4 (/opt/rustwide/workdir) updating edition from 2018 to 2021
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]    Compiling minisat v0.4.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking regex v1.12.4
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/Solver.cc:128:19:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Sort.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/simp/SimpSolver.cc:21:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/simp/SimpSolver.cc:86:26:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]   --> src/binary.rs:72:10
[INFO] [stdout]    |
[INFO] [stdout] 72 |         };
[INFO] [stdout]    |          ^ help: remove this semicolon
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking env_logger v0.5.13
[INFO] [stderr]     Checking quickcheck v0.7.2
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]   --> src/binary.rs:72:10
[INFO] [stdout]    |
[INFO] [stdout] 72 |         };
[INFO] [stdout]    |          ^ help: remove this semicolon
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/lib.rs:763:10
[INFO] [stdout]     |
[INFO] [stdout] 763 |         };
[INFO] [stdout]     |          ^ help: remove this semicolon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 54.89s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: cexpr v0.3.6, nom v4.2.3
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] [stderr] crater-edition-check: migrating to next edition
[INFO] [stderr]    Migrating Cargo.toml from 2015 edition to 2018
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/Solver.cc:128:19:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Sort.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/simp/SimpSolver.cc:21:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/simp/SimpSolver.cc:86:26:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr]     Checking minisat v0.4.4 (/opt/rustwide/workdir)
[INFO] [stderr]    Migrating src/lib.rs from 2021 edition to 2024
[INFO] [stderr]        Fixed /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs (53 fixes)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 56.13s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: cexpr v0.3.6, nom v4.2.3
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] [stderr] crater-edition-check: minisat v0.4.4 (/opt/rustwide/workdir) updating edition from 2021 to 2024
[INFO] [stderr]    Compiling minisat v0.4.4 (/opt/rustwide/workdir)
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/Solver.cc:128:19:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Sort.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/simp/SimpSolver.cc:21:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/simp/SimpSolver.cc:86:26:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:375
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...aw :: c_int ; extern "C" { # [ link_name = "\u{1}minisat_l_True" ] pub static mut minisat_l_True : minisat_lbool ; } extern "C" { ...
[INFO] [stdout]   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:478
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...at_lbool ; } extern "C" { # [ link_name = "\u{1}minisat_l_False" ] pub static mut minisat_l_False : minisat_lbool ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:583
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...at_lbool ; } extern "C" { # [ link_name = "\u{1}minisat_l_Undef" ] pub static mut minisat_l_Undef : minisat_lbool ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:688
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...isat_l_Undef : minisat_lbool ; } extern "C" { pub fn minisat_new ( ) -> * mut minisat_solver ; } extern "C" { pub fn minisat_delet...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:752
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... ) -> * mut minisat_solver ; } extern "C" { pub fn minisat_delete ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat_new...
[INFO] [stdout]   |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:820
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...ut minisat_solver ) ; } extern "C" { pub fn minisat_newVar ( s : * mut minisat_solver ) -> minisat_Var ; } extern "C" { pub fn min...
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:903
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...er ) -> minisat_Var ; } extern "C" { pub fn minisat_newLit ( s : * mut minisat_solver ) -> minisat_Lit ; } extern "C" { pub fn min...
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:986
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._solver ) -> minisat_Lit ; } extern "C" { pub fn minisat_mkLit ( x : minisat_Var ) -> minisat_Lit ; } extern "C" { pub fn minisat_...
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1059
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...it ; } extern "C" { pub fn minisat_mkLit_args ( x : minisat_Var , sign : :: std :: os :: raw :: c_int ) -> minisat_Lit ; } extern ...
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1175
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... c_int ) -> minisat_Lit ; } extern "C" { pub fn minisat_negate ( p : minisat_Lit ) -> minisat_Lit ; } extern "C" { pub fn minisat_...
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:375
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...aw :: c_int ; extern "C" { # [ link_name = "\u{1}minisat_l_True" ] pub static mut minisat_l_True : minisat_lbool ; } extern "C" { ...
[INFO] [stdout]   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1249
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...isat_Lit ) -> minisat_Lit ; } extern "C" { pub fn minisat_var ( p : minisat_Lit ) -> minisat_Var ; } extern "C" { pub fn minisat_s...
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:478
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...at_lbool ; } extern "C" { # [ link_name = "\u{1}minisat_l_False" ] pub static mut minisat_l_False : minisat_lbool ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:583
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...at_lbool ; } extern "C" { # [ link_name = "\u{1}minisat_l_Undef" ] pub static mut minisat_l_Undef : minisat_lbool ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:688
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...isat_l_Undef : minisat_lbool ; } extern "C" { pub fn minisat_new ( ) -> * mut minisat_solver ; } extern "C" { pub fn minisat_delet...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:752
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... ) -> * mut minisat_solver ; } extern "C" { pub fn minisat_delete ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat_new...
[INFO] [stdout]   |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:820
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...ut minisat_solver ) ; } extern "C" { pub fn minisat_newVar ( s : * mut minisat_solver ) -> minisat_Var ; } extern "C" { pub fn min...
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1320
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...sat_Lit ) -> minisat_Var ; } extern "C" { pub fn minisat_sign ( p : minisat_Lit ) -> minisat_bool ; } extern "C" { pub fn minisat_...
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1393
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_addClause ( s : * mut minisat_solver , len : :: std :: os :: raw :: c_int , ps : * mut minisat_Lit ) -> minisat_bool ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1542
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._Lit ) -> minisat_bool ; } extern "C" { pub fn minisat_addClause_begin ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisa...
[INFO] [stdout]   |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1619
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...sat_solver ) ; } extern "C" { pub fn minisat_addClause_addLit ( s : * mut minisat_solver , p : minisat_Lit ) ; } extern "C" { pub ...
[INFO] [stdout]   |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1715
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...minisat_Lit ) ; } extern "C" { pub fn minisat_addClause_commit ( s : * mut minisat_solver ) -> minisat_bool ; } extern "C" { pub f...
[INFO] [stdout]   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1809
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...) -> minisat_bool ; } extern "C" { pub fn minisat_simplify ( s : * mut minisat_solver ) -> minisat_bool ; } extern "C" { pub fn mi...
[INFO] [stdout]   |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1895
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_solve ( s : * mut minisat_solver , len : :: std :: os :: raw :: c_int , ps : * mut minisat_Lit ) -> minisat_bool ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2040
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_limited_solve ( s : * mut minisat_solver , len : :: std :: os :: raw :: c_int , ps : * mut minisat_Lit ) -> minisat_lbool ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2194
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...t_Lit ) -> minisat_lbool ; } extern "C" { pub fn minisat_solve_begin ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat_...
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:903
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...er ) -> minisat_Var ; } extern "C" { pub fn minisat_newLit ( s : * mut minisat_solver ) -> minisat_Lit ; } extern "C" { pub fn min...
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2267
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...nisat_solver ) ; } extern "C" { pub fn minisat_solve_addLit ( s : * mut minisat_solver , p : minisat_Lit ) ; } extern "C" { pub fn...
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2359
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: minisat_Lit ) ; } extern "C" { pub fn minisat_solve_commit ( s : * mut minisat_solver ) -> minisat_bool ; } extern "C" { pub fn ...
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2449
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...inisat_bool ; } extern "C" { pub fn minisat_limited_solve_commit ( s : * mut minisat_solver ) -> minisat_lbool ; } extern "C" { pu...
[INFO] [stdout]   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2548
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... ) -> minisat_lbool ; } extern "C" { pub fn minisat_okay ( s : * mut minisat_solver ) -> minisat_bool ; } extern "C" { pub fn mini...
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2630
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_setPolarity ( s : * mut minisat_solver , v : minisat_Var , b : :: std :: os :: raw :: c_int ) ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2756
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_setDecisionVar ( s : * mut minisat_solver , v : minisat_Var , b : :: std :: os :: raw :: c_int ) ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2885
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... std :: os :: raw :: c_int ) ; } extern "C" { pub fn minisat_get_l_True ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_get_l...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2949
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._l_True ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_get_l_False ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_get_...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3014
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...l_False ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_get_l_Undef ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_valu...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3079
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...t_lbool ; } extern "C" { pub fn minisat_value_Var ( s : * mut minisat_solver , x : minisat_Var ) -> minisat_lbool ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3185
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...t_lbool ; } extern "C" { pub fn minisat_value_Lit ( s : * mut minisat_solver , p : minisat_Lit ) -> minisat_lbool ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3291
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...lbool ; } extern "C" { pub fn minisat_modelValue_Var ( s : * mut minisat_solver , x : minisat_Var ) -> minisat_lbool ; } extern "C...
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3402
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...lbool ; } extern "C" { pub fn minisat_modelValue_Lit ( s : * mut minisat_solver , p : minisat_Lit ) -> minisat_lbool ; } extern "C...
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3513
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...at_lbool ; } extern "C" { pub fn minisat_num_assigns ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3618
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...:: c_int ; } extern "C" { pub fn minisat_num_clauses ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3723
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...:: c_int ; } extern "C" { pub fn minisat_num_learnts ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3828
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... :: c_int ; } extern "C" { pub fn minisat_num_vars ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" { p...
[INFO] [stdout]   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:986
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._solver ) -> minisat_Lit ; } extern "C" { pub fn minisat_mkLit ( x : minisat_Var ) -> minisat_Lit ; } extern "C" { pub fn minisat_...
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3930
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: c_int ; } extern "C" { pub fn minisat_num_freeVars ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4036
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: c_int ; } extern "C" { pub fn minisat_conflict_len ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4142
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_conflict_nthLit ( s : * mut minisat_solver , i : :: std :: os :: raw :: c_int ) -> minisat_Lit ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1059
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...it ; } extern "C" { pub fn minisat_mkLit_args ( x : minisat_Var , sign : :: std :: os :: raw :: c_int ) -> minisat_Lit ; } extern ...
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4269
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._Lit ; } extern "C" { pub fn minisat_set_conf_budget ( s : * mut minisat_solver , x : :: std :: os :: raw :: c_int ) ; } extern "C...
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1175
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... c_int ) -> minisat_Lit ; } extern "C" { pub fn minisat_negate ( p : minisat_Lit ) -> minisat_Lit ; } extern "C" { pub fn minisat_...
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4381
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...nt ) ; } extern "C" { pub fn minisat_set_prop_budget ( s : * mut minisat_solver , x : :: std :: os :: raw :: c_int ) ; } extern "C...
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4493
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...d :: os :: raw :: c_int ) ; } extern "C" { pub fn minisat_no_budget ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat_i...
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4564
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... : * mut minisat_solver ) ; } extern "C" { pub fn minisat_interrupt ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat_c...
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1249
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...isat_Lit ) -> minisat_Lit ; } extern "C" { pub fn minisat_var ( p : minisat_Lit ) -> minisat_Var ; } extern "C" { pub fn minisat_s...
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1320
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...sat_Lit ) -> minisat_Var ; } extern "C" { pub fn minisat_sign ( p : minisat_Lit ) -> minisat_bool ; } extern "C" { pub fn minisat_...
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1393
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_addClause ( s : * mut minisat_solver , len : :: std :: os :: raw :: c_int , ps : * mut minisat_Lit ) -> minisat_bool ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1542
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._Lit ) -> minisat_bool ; } extern "C" { pub fn minisat_addClause_begin ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisa...
[INFO] [stdout]   |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1619
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...sat_solver ) ; } extern "C" { pub fn minisat_addClause_addLit ( s : * mut minisat_solver , p : minisat_Lit ) ; } extern "C" { pub ...
[INFO] [stdout]   |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1715
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...minisat_Lit ) ; } extern "C" { pub fn minisat_addClause_commit ( s : * mut minisat_solver ) -> minisat_bool ; } extern "C" { pub f...
[INFO] [stdout]   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1809
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...) -> minisat_bool ; } extern "C" { pub fn minisat_simplify ( s : * mut minisat_solver ) -> minisat_bool ; } extern "C" { pub fn mi...
[INFO] [stdout]   |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4635
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...* mut minisat_solver ) ; } extern "C" { pub fn minisat_clearInterrupt ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat...
[INFO] [stdout]   |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4711
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...lver ) ; } extern "C" { pub fn minisat_setFrozen ( s : * mut minisat_solver , v : minisat_Var , b : minisat_bool ) ; } extern "C" ...
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4819
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...bool ) ; } extern "C" { pub fn minisat_isEliminated ( s : * mut minisat_solver , v : minisat_Var ) -> minisat_bool ; } extern "C" ...
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:1895
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_solve ( s : * mut minisat_solver , len : :: std :: os :: raw :: c_int , ps : * mut minisat_Lit ) -> minisat_bool ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4927
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...l ; } extern "C" { pub fn minisat_eliminate ( s : * mut minisat_solver , turn_off_elim : minisat_bool ) -> minisat_bool ; } extern...
[INFO] [stdout]   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2040
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_limited_solve ( s : * mut minisat_solver , len : :: std :: os :: raw :: c_int , ps : * mut minisat_Lit ) -> minisat_lbool ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5045
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._bool ; } extern "C" { pub fn minisat_set_verbosity ( s : * mut minisat_solver , v : :: std :: os :: raw :: c_int ) ; } extern "C"...
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2194
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...t_Lit ) -> minisat_lbool ; } extern "C" { pub fn minisat_solve_begin ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat_...
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5155
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...c_int ) ; } extern "C" { pub fn minisat_num_conflicts ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" ...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2267
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...nisat_solver ) ; } extern "C" { pub fn minisat_solve_addLit ( s : * mut minisat_solver , p : minisat_Lit ) ; } extern "C" { pub fn...
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5262
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: c_int ; } extern "C" { pub fn minisat_num_decisions ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" ...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2359
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: minisat_Lit ) ; } extern "C" { pub fn minisat_solve_commit ( s : * mut minisat_solver ) -> minisat_bool ; } extern "C" { pub fn ...
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5369
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: c_int ; } extern "C" { pub fn minisat_num_restarts ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2449
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...inisat_bool ; } extern "C" { pub fn minisat_limited_solve_commit ( s : * mut minisat_solver ) -> minisat_lbool ; } extern "C" { pu...
[INFO] [stdout]   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2548
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... ) -> minisat_lbool ; } extern "C" { pub fn minisat_okay ( s : * mut minisat_solver ) -> minisat_bool ; } extern "C" { pub fn mini...
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5475
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...c_int ; } extern "C" { pub fn minisat_num_propagations ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; }
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2630
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_setPolarity ( s : * mut minisat_solver , v : minisat_Var , b : :: std :: os :: raw :: c_int ) ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2756
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_setDecisionVar ( s : * mut minisat_solver , v : minisat_Var , b : :: std :: os :: raw :: c_int ) ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2885
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... std :: os :: raw :: c_int ) ; } extern "C" { pub fn minisat_get_l_True ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_get_l...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:2949
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._l_True ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_get_l_False ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_get_...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3014
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...l_False ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_get_l_Undef ( ) -> minisat_lbool ; } extern "C" { pub fn minisat_valu...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3079
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...t_lbool ; } extern "C" { pub fn minisat_value_Var ( s : * mut minisat_solver , x : minisat_Var ) -> minisat_lbool ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3185
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...t_lbool ; } extern "C" { pub fn minisat_value_Lit ( s : * mut minisat_solver , p : minisat_Lit ) -> minisat_lbool ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3291
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...lbool ; } extern "C" { pub fn minisat_modelValue_Var ( s : * mut minisat_solver , x : minisat_Var ) -> minisat_lbool ; } extern "C...
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3402
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...lbool ; } extern "C" { pub fn minisat_modelValue_Lit ( s : * mut minisat_solver , p : minisat_Lit ) -> minisat_lbool ; } extern "C...
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3513
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...at_lbool ; } extern "C" { pub fn minisat_num_assigns ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3618
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...:: c_int ; } extern "C" { pub fn minisat_num_clauses ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3723
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...:: c_int ; } extern "C" { pub fn minisat_num_learnts ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3828
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... :: c_int ; } extern "C" { pub fn minisat_num_vars ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" { p...
[INFO] [stdout]   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:3930
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: c_int ; } extern "C" { pub fn minisat_num_freeVars ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4036
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: c_int ; } extern "C" { pub fn minisat_conflict_len ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4142
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn minisat_conflict_nthLit ( s : * mut minisat_solver , i : :: std :: os :: raw :: c_int ) -> minisat_Lit ; } ex...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4269
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._Lit ; } extern "C" { pub fn minisat_set_conf_budget ( s : * mut minisat_solver , x : :: std :: os :: raw :: c_int ) ; } extern "C...
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4381
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...nt ) ; } extern "C" { pub fn minisat_set_prop_budget ( s : * mut minisat_solver , x : :: std :: os :: raw :: c_int ) ; } extern "C...
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4493
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...d :: os :: raw :: c_int ) ; } extern "C" { pub fn minisat_no_budget ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat_i...
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4564
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... : * mut minisat_solver ) ; } extern "C" { pub fn minisat_interrupt ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat_c...
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]   --> src/binary.rs:72:10
[INFO] [stdout]    |
[INFO] [stdout] 72 |         };
[INFO] [stdout]    |          ^ help: remove this semicolon
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4635
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...* mut minisat_solver ) ; } extern "C" { pub fn minisat_clearInterrupt ( s : * mut minisat_solver ) ; } extern "C" { pub fn minisat...
[INFO] [stdout]   |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4711
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...lver ) ; } extern "C" { pub fn minisat_setFrozen ( s : * mut minisat_solver , v : minisat_Var , b : minisat_bool ) ; } extern "C" ...
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4819
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...bool ) ; } extern "C" { pub fn minisat_isEliminated ( s : * mut minisat_solver , v : minisat_Var ) -> minisat_bool ; } extern "C" ...
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:4927
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...l ; } extern "C" { pub fn minisat_eliminate ( s : * mut minisat_solver , turn_off_elim : minisat_bool ) -> minisat_bool ; } extern...
[INFO] [stdout]   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5045
[INFO] [stdout]   |
[INFO] [stdout] 3 | ..._bool ; } extern "C" { pub fn minisat_set_verbosity ( s : * mut minisat_solver , v : :: std :: os :: raw :: c_int ) ; } extern "C"...
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5155
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...c_int ) ; } extern "C" { pub fn minisat_num_conflicts ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" ...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5262
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: c_int ; } extern "C" { pub fn minisat_num_decisions ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" ...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5369
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...: c_int ; } extern "C" { pub fn minisat_num_restarts ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; } extern "C" {...
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/minisat-fdf4e57e4bd02922/out/bindings.rs:3:5475
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...c_int ; } extern "C" { pub fn minisat_num_propagations ( s : * mut minisat_solver ) -> :: std :: os :: raw :: c_int ; }
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]   --> src/binary.rs:72:10
[INFO] [stdout]    |
[INFO] [stdout] 72 |         };
[INFO] [stdout]    |          ^ help: remove this semicolon
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/lib.rs:763:10
[INFO] [stdout]     |
[INFO] [stdout] 763 |         };
[INFO] [stdout]     |          ^ help: remove this semicolon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/Solver.cc:128:19:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Sort.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/simp/SimpSolver.cc:21:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/simp/SimpSolver.cc:86:26:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] error: could not compile `minisat` (lib test) due to 53 previous errors; 2 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/Solver.cc:128:19:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] warning: minisat@0.4.4: In file included from lib/minisat/minisat/mtl/Sort.h:24,
[INFO] [stderr] warning: minisat@0.4.4:                  from lib/minisat/minisat/simp/SimpSolver.cc:21:
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/simp/SimpSolver.cc:86:26:   required from here
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: minisat@0.4.4:   103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: minisat@0.4.4:       |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: minisat@0.4.4: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
[INFO] [stderr] warning: minisat@0.4.4:    39 | class vec {
[INFO] [stderr] warning: minisat@0.4.4:       |       ^~~
[INFO] [stderr] error: could not compile `minisat` (lib) due to 53 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "156bdc556a175797c50a5d6a7e81c28ccdfde5b4db39ba3e11e833e899ceb0dd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "156bdc556a175797c50a5d6a7e81c28ccdfde5b4db39ba3e11e833e899ceb0dd", kill_on_drop: false }`
[INFO] [stdout] 156bdc556a175797c50a5d6a7e81c28ccdfde5b4db39ba3e11e833e899ceb0dd
